Defaults with Priorities
نویسنده
چکیده
منابع مشابه
Representing Priorities of Defaults in Possibility Theory
It is suggested by Yagerr5] that default knowledge can be represented in the framework of possibility theory. In this note, we show a potential application of the proposal. That is, the priorities of defaults can be encoded into the formalism naturally and the results produced by such encoded default theories reeect the strength of the conclusions.
متن کاملReasoning about Priorities in Default Logic
In this paper we argue that for realistic applications involving default reasoning it is necessary to reason about the priorities of defaults. Existing approaches require the knowledge engineer to explicitly state all relevant priorities which are then handled in an extralogical manner, or they are restricted to priorities based on specificity, neglecting other relevant criteria. We present an ...
متن کاملHow to Prefer More Speci c Defaults
In a recent paper we have proposed terminological default logic as a formalism which combines both means for structured representation of classes and objects, and for default inheritance of properties. The major drawback which terminological default logic inherits from general default logic is that it does not take precedence of more speciic defaults over more general ones into account. This be...
متن کاملA Theorem Prover for Prioritized Supernormal Defaults
We present a top-down theorem prover for arbitrary clauses and defaults of the form true : δ/δ (supernormal defaults) with priorities. This especially allows to specify the perfect model semantics for stratified programs, but it includes also disjunctions, classical negation and more general defaults than the usual negations. In this paper, we concentrate on the handling of the priorities and c...
متن کاملReasoning with Prioritized Defaults
The purpose of this paper is to investigate the methodology of reasoning with prioritized defaults in the language of logic programs under the answer set semantics. We present a domain independent system of axioms, written as an extended logic program, which deenes reasoning with prioritized defaults. These axioms are used in conjunction with a description of a particular domain encoded in a si...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- J. Philosophical Logic
دوره 36 شماره
صفحات -
تاریخ انتشار 2007